[*  **** RLL KB Changes from 16-Mar-82 18:20:59 by SKLEIN ****  ]

[ SLOTS.PAGE      (PutValue (QUOTE NumOpens)
			    (QUOTE RangeType)
			    (QUOTE (FSingleton IntegerType)))  (FSingleton 
IntegerType)  1 ]

[ SLOTS.PAGE      (PutValue (QUOTE RangeType)
			    (QUOTE Isa)
			    (QUOTE (AnyDerivableSlot AnyComplexSlot)))  (
AnyDerivableSlot AnyComplexSlot)  1 ]

[ SLOTS.PAGE      [PutValue
		    (QUOTE TypicalExampleOf)
		    (QUOTE ToInitializeValue)
		    (QUOTE
		      (LAMBDA
			(unt slot xtra)
			(DECLARE (LOCALVARS unt slot xtra))
			(SELECTQ
			  (CDR (ASSOC (QUOTE Inheritance)
				      xtra))
			  [ITypEx (UA-PUTPROP
				    unt slot (CAR (CDR (ASSOC (QUOTE Parents)
							      xtra]
			  (UA-PUTPROP unt slot NoEntries]  (LAMBDA (unt slot 
xtra) (DECLARE (LOCALVARS unt slot xtra)) (SELECTQ (CDR (ASSOC (QUOTE 
Inheritance) xtra)) (ITypEx (UA-PUTPROP unt slot (CAR (CDR (ASSOC (QUOTE Parents
) xtra))))) (UA-PUTPROP unt slot NoEntries)))  1 ]

[ RLL.PAGE        (PutValue (QUOTE AnyLogicalOp)
			    (QUOTE TypicalExample)
			    (QUOTE TypicalLogicalOp))  TypicalLogicalOp  1 ]

[ RLL.PAGE        (PutValue (QUOTE AnySlotFormat)
			    (QUOTE TypicalExample)
			    (QUOTE TypicalSlotFormat))  TypicalSlotFormat  1 ]

[ RLL.PAGE        (PutValue (QUOTE TypicalDatatype)
			    (QUOTE FnForVerifyingRangeRestriction)
			    (QUOTE DTVerifyRR))  DTVerifyRR  1 ]

[ RLL.PAGE        [PutValue
		    (QUOTE FunctionSpec)
		    (QUOTE ToCompute)
		    (QUOTE
		      (LAMBDA
			(slot others)
			(DECLARE (LOCALVARS slot others))
			(PROG
			  (parse from **SELF**)
			  (DECLARE (LOCALVARS parse from)
				   (SPECVARS **SELF**))
			  (AND
			    [COND
			      [[AND (NOT (InOther (QUOTE From)
						  others slot (QUOTE 
							       FunctionSpec)))
				    (IsOk (SETQ parse
						(GetValue slot (QUOTE 
							      HighLevelDefn)
							  (AddOnCharacter
							    others
							    (QUOTE SAFESLOT)
							    NIL]
			       (SETQ **SELF** slot)
			       (SETQ from
				     (HLDefnExpander
				       parse
				       (AddOnCharacter
					 others
					 `(From (,slot FunctionSpec))
					 NIL)
				       (QUOTE (un oth]
			      (T
				(* Warning 
   "In FunctionSpec's ToCompute's last clause - might cause infinite loop."
				   " (For unit " slot ".)")
				(SETQ
				  from
				  (REC-CREATE
				    FS
				    (ToCompute
				      (APPLY*
					(COND ((OR (InOther (QUOTE From)
							    others slot
							    (QUOTE FunctionSpec)
							    )
						   (InOther (QUOTE From)
							    others slot
							    (QUOTE 
							      HighLevelDefn)))
					       (QUOTE GetAccessFn))
					      (T (QUOTE GetValue)))
					slot
					(QUOTE ToCompute)
					(AddOnCharacter
					  others
					  `((From (,slot FunctionSpec))
					   (-CACHE FunctionSpec))
					  T)))
				    (RangeType
				      (APPLY*
					(COND ((OR (InOther (QUOTE From)
							    others slot
							    (QUOTE FunctionSpec)
							    )
						   (InOther (QUOTE From)
							    others slot
							    (QUOTE 
							      HighLevelDefn)))
					       (QUOTE GetAccessFn))
					      (T (QUOTE GetValue)))
					slot
					(QUOTE RangeType)
					(AddOnCharacter
					  others
					  `((From (,slot FunctionSpec))
					   (-CACHE FunctionSpec))
					  T)))
				    (DomainType
				      (APPLY*
					(COND ((OR (InOther (QUOTE From)
							    others slot
							    (QUOTE FunctionSpec)
							    )
						   (InOther (QUOTE From)
							    others slot
							    (QUOTE 
							      HighLevelDefn)))
					       (QUOTE GetAccessFn))
					      (T (QUOTE GetValue)))
					slot
					(QUOTE DomainType)
					(AddOnCharacter
					  others
					  `((From (,slot FunctionSpec))
					   (-CACHE FunctionSpec))
					  T)))
				    (Description (QUOTE ?]
			    (PROGN [CacheValue slot (QUOTE ToCompute)
					       (-> from (FS)
						   ToCompute)
					       NIL
					       (QUOTE ((From FunctionSpec]
				   [CacheValue slot (QUOTE RangeType)
					       (-> from (FS)
						   RangeType)
					       NIL
					       (QUOTE ((From FunctionSpec]
				   [CacheValue slot (QUOTE DomainType)
					       (-> from (FS)
						   DomainType)
					       NIL
					       (QUOTE ((From FunctionSpec]
				   (RETURN from]  (LAMBDA (slot others) (DECLARE
 (LOCALVARS slot others)) (PROG (parse from **SELF**) (DECLARE (LOCALVARS parse 
from) (SPECVARS **SELF**)) (AND (COND ((AND (NOT (InOther (QUOTE From) others 
slot (QUOTE FunctionSpec))) (IsOk (SETQ parse (GetValue slot (QUOTE 
HighLevelDefn) (AddOnCharacter others (QUOTE SAFESLOT) NIL))))) (SETQ **SELF** 
slot) (SETQ from (HLDefnExpander parse (AddOnCharacter others (BACKQUOTEQ* (From
 (,slot FunctionSpec))) NIL) (QUOTE (un oth))))) (T (* Warning 
In FunctionSpec's ToCompute's last clause - might cause infinite loop. 
 (For unit  slot .)) (SETQ from (REC-CREATE FS (ToCompute (APPLY* (COND ((OR (
InOther (QUOTE From) others slot (QUOTE FunctionSpec)) (InOther (QUOTE From) 
others slot (QUOTE HighLevelDefn))) (QUOTE GetAccessFn)) (T (QUOTE GetValue))) 
slot (QUOTE ToCompute) (AddOnCharacter others (BACKQUOTEQ* ((From (,slot 
FunctionSpec)) (-CACHE FunctionSpec))) T))) (RangeType (APPLY* (COND ((OR (
InOther (QUOTE From) others slot (QUOTE FunctionSpec)) (InOther (QUOTE From) 
others slot (QUOTE HighLevelDefn))) (QUOTE GetAccessFn)) (T (QUOTE GetValue))) 
slot (QUOTE RangeType) (AddOnCharacter others (BACKQUOTEQ* ((From (,slot 
FunctionSpec)) (-CACHE FunctionSpec))) T))) (DomainType (APPLY* (COND ((OR (
InOther (QUOTE From) others slot (QUOTE FunctionSpec)) (InOther (QUOTE From) 
others slot (QUOTE HighLevelDefn))) (QUOTE GetAccessFn)) (T (QUOTE GetValue))) 
slot (QUOTE DomainType) (AddOnCharacter others (BACKQUOTEQ* ((From (,slot 
FunctionSpec)) (-CACHE FunctionSpec))) T))) (Description (QUOTE ?)))))) (PROGN (
CacheValue slot (QUOTE ToCompute) (-> from (FS) ToCompute) NIL (QUOTE ((From 
FunctionSpec)))) (CacheValue slot (QUOTE RangeType) (-> from (FS) RangeType) NIL
 (QUOTE ((From FunctionSpec)))) (CacheValue slot (QUOTE DomainType) (-> from (FS
) DomainType) NIL (QUOTE ((From FunctionSpec)))) (RETURN from)))))  1 ]

[ FIELD.PAGE      (PutValue (QUOTE TypicalSubUnit)
			    (QUOTE RangeType)
			    (QUOTE (*Do* FSeeUnit RangeTypeOfTypicalSubUnit)))  
(*Do* FSeeUnit RangeTypeOfTypicalSubUnit)  1 ]

[ FIELD.PAGE      [PutValue (QUOTE TypicalSubUnit)
			    (QUOTE ToCompute)
			    (QUOTE (*Do* FExecute (LAMBDA
					   (uN sL oT)
					   (GetValue (GetValue uN (QUOTE 
							      MyLivesInSlot))
						     (QUOTE ToCompute]  (*Do* 
FExecute (LAMBDA (uN sL oT) (GetValue (GetValue uN (QUOTE MyLivesInSlot)) (QUOTE
 ToCompute))))  1 ]